Implementation of visual languages using pattern-based specifications
نویسندگان
چکیده
structure 43 Visual editor 204 Semantic checks 53 XML generator 196
منابع مشابه
Using DEViL for Implementation of Domain-Specific Visual Languages
The implementation of visual languages requires a wide range of conceptual and technical knowledge. A handimplementation of a visual DSL is often too expensive for a domain with a limited user comunity. We present the DEViL system, that generates complete language implementations from high level specifications. DEViL allows to implement visual languages with limited effort and limited expert kn...
متن کاملGenerating visual structure editors from high-level specifications
The implementation of visual languages requires a wide range of conceptual and technical knowledge from issues of user interface design and graphical implementation to aspects of analysis and transformation for languages in general. We present the DEViL system that incorporates such knowledge. It generates complete language implementations from high level specifications. DEViL is the successor ...
متن کاملA systematic review of code generation proposals from state machine specifications
0950-5849/$ see front matter 2012 Elsevier B.V. A http://dx.doi.org/10.1016/j.infsof.2012.04.008 ⇑ Corresponding author. E-mail addresses: [email protected] (E. Domínguez Context: Model Driven Development (MDD) encourages the use of models for developing complex software systems. Following a MDD approach, modelling languages are used to diagrammatically model the structure and behaviour of objec...
متن کاملA Generic Visual Language Technique for DSVL Model Refactoring to Patterns
As the popularity of domain-specific visual languages (DSVLs) grows, many concerns have arisen regarding quality assurance and evolvability of their designs (metamodels) as well as their model instances. We address some aspects of automated DSVL model instance modification for quality improvement based on refactoring specifications. We propose a graph transformation based visual language approa...
متن کاملMixing Finite Success and Finite Failure in an Automated Prover
The operational semantics and typing of modern programming and specification languages are often defined using relations and proof systems. In simple settings, logic programming can be used to provide rather direct and natural interpreters for such operational semantics. More complex features of specifications such as names and their bindings, proof rules with negative premise, and the exhausti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Softw., Pract. Exper.
دوره 33 شماره
صفحات -
تاریخ انتشار 2003